first-order termination

一级终结作用